dot product identity proof